" Amy Felty" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings (Lecture Notes in Computer Science)

Elsa L. Gunter, Amy Felty

Категория: Компьютеры

25.43 Mb

#2

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Amy Felty

Категория: Cs_Computer science, CsLn_Lecture notes

4.35 Mb

#3

Theorem Proving in Higher Order Logics, 10 conf., TPHOLs'97

Elsa L. Gunter, Amy Felty

Категория: CsLn_

3.25 Mb